we study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. we discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. this second part continues to study the question of catecoricitytrans...

we study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. we discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. this first part introduces the main conceps and philosophies anddiscu...

we study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. we discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. this first part introduces the main conceps and philosophies anddiscu...

we prove that rs-bl-algebras are mv-algebras.